math has used brute force to find solutions for quite a while.