14.65/14.78	unsat
