696.74/701.17	unsat
