loading SCIP...
33 7719 true
0 1 5 8 12 13 14 18 22 30 33 35 36 39 41 45 47 49 51 54 55 58 62 63 69 70 74 79 83 89 96 97 99