loading SCIP...
25 18718 true
3 4 5 6 7 16 22 26 28 33 37 41 47 48 50 66 69 70 72 75 77 80 82 84 87