loading SCIP...
16 37219 true
1 2 14 16 18 20 24 27 30 44 50 52 71 79 84 97