687.82/689.91	unsat
