141.34/143.78	unsat
