137.45/142.09	unsat
