This seems to find a solution quickly.