138.61/139.95	unsat
