loading SCIP...
28 11859 true
10 12 15 18 23 24 31 32 34 35 38 44 48 53 54 58 61 62 67 70 71 76 80 83 89 92 93 95