685.58/688.79	unsat
