Brute force fails to find solution when compiled fo 64 bit architecture. I haven't investigated why this happens, and I don't intent to do so right now. If anyone finds out why this happens, please do let me know!