Update usu_quad_prob05.pddl