684.10/687.97	unsat
