Russ Cox finds the 'hardest' 5-variable Boolean function | Heykuki News