3 ms·Good job on the 3-SAT encoding, it was very clear.by mpu 11y agoGood job on the 3-SAT encoding, it was very clear.