16.65/17.61	unsat
