Create sokodan-p1.pddl