139.60/143.09	unsat
