loading SCIP...
26 14641 true
4 8 13 16 18 21 23 30 33 35 37 39 40 46 51 54 55 66 72 74 79 84 90 93 96 98