loading SCIP...
20 25296 true
0 6 7 9 14 22 34 36 38 42 46 49 54 55 56 64 66 67 73 77