742.83/743.51	unsat
