668.65/670.00	unsat
