142.08/142.89	unsat
