loading SCIP...
18 33906 true
3 4 8 9 16 29 31 32 40 43 49 56 59 75 80 86 88 99