142.59/143.20	unsat
