loading SCIP...
28 15812 true
0 4 5 10 12 13 14 18 21 22 26 32 33 36 37 44 47 56 60 61 63 64 70 72 79 83 84 94