loading SCIP...
28 12828 true
1 6 7 9 11 12 13 20 29 32 33 35 43 44 46 50 56 65 67 73 76 77 79 92 93 95 96 98