14.65/17.59	unsat
