Create sokodan-p4.pddl