loading SCIP...
19 26953 true
7 14 16 22 36 45 55 58 59 61 66 76 79 84 88 91 94 97 99