139.43/139.65	unsat
