loading SCIP...
20 26328 true
2 8 11 14 29 35 37 45 49 50 55 57 58 64 66 73 76 88 89 94