loading SCIP...
18 29062 true
0 2 12 13 15 18 19 29 56 60 61 63 66 77 78 82 91 92