loading SCIP...
23 20813 true
6 7 8 14 15 18 26 32 33 36 39 42 50 55 61 76 79 80 81 85 89 92 93