SAT Reduces to the Minimum Circuit Size Problem with a Random Oracle Conference proceeding (November 2023)