138.94/142.50	unsat
