loading SCIP...
17 33391 true
0 1 5 6 16 18 21 30 37 38 42 47 65 66 73 87 91