742.31/743.20	unsat
