loading SCIP...
18 27312 true
5 9 10 13 17 21 27 30 43 46 47 54 57 66 84 87 95 99