138.65/139.30	unsat
