14.65/17.79	unsat
