141.60/141.80	unsat
