loading SCIP...
36 5390 true
3 4 6 10 11 12 13 15 23 24 25 26 30 31 33 34 42 45 48 54 55 58 60 65 66 69 70 73 74 77 80 81 84 89 91 97