16.65/16.76	unsat
