Scenario SAT11-RAND