loading SCIP...
29 11735 true
5 10 11 17 19 24 25 26 29 30 34 35 37 41 42 48 50 60 64 70 72 74 75 76 77 89 90 92 97