loading SCIP...
28 11172 true
4 5 8 14 19 20 23 25 27 28 39 40 41 45 46 56 58 60 68 69 72 73 77 78 85 93 97 98