697.95/701.74	unsat
