138.71/139.47	unsat
