But circuit sat is not equivalent to solving a multiplication table like this. If you're doing it that way, you're making it way too hard.