6 25 17 10 8 7 4 // // The instance in Gent & Walsh //