740.69/742.32	unsat
