loading SCIP...
18 25859 true
7 10 18 20 29 31 40 46 47 48 51 52 54 59 61 81 83 85