loading SCIP...
17 29828 true
7 8 9 10 20 22 24 25 33 41 42 52 53 58 62 64 89