139.58/144.07	unsat
