loading SCIP...
16 33438 true
0 12 18 22 23 26 33 52 53 57 58 60 70 89 90 99