loading SCIP...
23 20171 true
8 17 23 24 25 28 33 41 42 44 47 49 51 58 61 67 72 80 83 86 87 94 99