141.90/143.45	unsat
