142.46/142.88	unsat
