142.08/142.31	unsat
