>you need to check 2^903 edge colorings
This instantly reminded me of the "It will never be possible to brute force AES256 (Check 2^256 possibilities) because, even in the best case, it needs more energy than the whole Solar system contains" [0] The author states that 2^903 should be possible to do in less than a year. Am I wrong and those aren't related problems? Or is the author a bit optimistic?