loading SCIP...
23 19313 true
1 3 11 25 28 29 34 41 45 52 56 58 60 67 69 74 80 83 90 92 94 95 99