681.69/687.53	unsat
