141.51/142.76	unsat
