726.44/728.36	unsat
