loading SCIP...
31 7547 true
3 6 8 12 14 19 25 26 29 30 34 40 41 42 48 51 52 53 55 66 70 72 73 76 77 82 85 89 90 95 98