697.64/701.57	unsat
