Scenario SAT11-RAND-ALGO