loading SCIP...
20 24375 true
6 11 13 14 22 24 27 36 40 47 49 50 53 67 71 78 80 88 89 96