fixed sokoban problem 2 pddl in main directory