loading SCIP...
28 11891 true
0 4 5 7 10 17 24 27 30 33 36 40 41 42 47 48 49 50 53 65 67 68 75 81 82 85 89 99