140.83/142.25	unsat
