140.79/142.81	unsat
