The Light Up solver limits its recursion depth, so if it fails to find