loading SCIP...
22 21750 true
4 5 7 10 14 17 20 34 35 41 46 48 51 58 66 74 76 80 91 93 97 99