Create sokodan-p3.pddl