726.59/727.64	unsat
