196.65/197.62	unsat
