Unit 7: Mastering SAT Inference Questions