139.15/139.25	unsat
