loading SCIP...
20 24437 true
0 3 6 11 12 27 28 32 33 37 41 48 53 62 64 66 73 88 94 97