638.06/792.78	unsat
