Sats Reasoning Paper 2024