690.97/697.34	unsat
