Sokoban Domain V1

a PDDL for the Sobokan problem