687.58/689.70	unsat
