loading SCIP...
41 1578 true
0 1 3 4 9 10 14 15 16 18 22 23 24 26 27 28 29 31 35 39 40 41 43 48 49 50 59 60 65 66 67 72 75 77 78 89 90 92 95 96 97