14.65/17.01	unsat
