loading SCIP...
17 29718 true
0 8 11 20 23 34 35 40 41 48 56 60 63 77 81 95 96