loading SCIP...
17 34453 true
0 4 6 8 12 21 25 37 43 55 56 60 63 66 68 73 82