loading SCIP...
27 14344 true
0 2 10 13 14 16 19 26 30 35 40 41 45 46 53 54 55 62 63 65 66 67 71 76 77 86 96