loading SCIP...
17 31953 true
4 6 7 16 17 20 26 31 38 43 49 56 66 75 78 85 91