14.65/16.78	unsat
