loading SCIP...
30 10875 true
12 13 16 23 25 28 30 32 33 34 40 45 47 48 52 53 54 57 62 71 73 76 78 81 82 83 86 88 93 96