loading SCIP...
19 28047 true
0 9 10 14 17 22 29 36 37 47 48 51 60 63 70 75 77 78 86