141.38/143.72	unsat
