679.69/687.05	unsat
