15.65/17.10	unsat
