693.65/694.96	unsat
