Create toh_test_05.pddl