loading SCIP...
30 9344 true
2 5 6 7 11 12 14 22 26 28 29 32 35 37 46 47 48 52 53 55 58 60 68 69 70 91 94 95 97 98