Create sokoban.pddl