137.90/140.86	unsat
