>>150282603
Yeah, around 20 minutes in. This took me a while to find after I saw that corner box, I was wondering where it came from. It says the code specifically corresponds to the n-SAT problem.