MINION 3 **VARIABLES** **SEARCH** PRINT[ ] VARORDER [ s0 ] **CONSTRAINTS** **EOF**