loading SCIP...
41 1797 true
0 1 4 9 11 14 15 16 18 22 25 26 30 33 34 38 40 46 47 48 51 52 53 58 59 60 61 67 70 75 79 80 81 84 85 87 88 89 92 94 99