loading SCIP...
28 12688 true
4 6 8 9 15 16 18 20 24 26 28 34 36 37 40 46 48 51 61 66 68 70 74 75 76 90 95 99