141.02/143.52	unsat
