697.77/699.26	unsat
