loading SCIP...
12 37796 true
11 13 18 36 45 46 50 59 67 90 95 99