141.47/143.08	unsat
