138.80/139.39	unsat
