687.40/688.97	unsat
