139.47/139.76	unsat
