694.12/696.88	unsat
