11.65/16.10	unsat
