139.25/139.63	unsat
