loading SCIP...
18 25937 true
0 7 10 13 28 32 36 44 47 48 59 77 79 85 91 93 94 99