Scenario SAT12-RAND