loading SCIP...
22 24203 true
5 10 14 24 25 32 40 43 45 47 49 50 52 61 64 65 72 80 84 87 95 98