696.82/701.18	unsat
