Solution to 9-dot problem Box 4.3