138.83/139.23	unsat
