139.45/139.85	unsat
