loading SCIP...
10 41797 true
22 24 47 52 58 66 69 88 98 99