loading SCIP...
13 36859 true
4 8 9 13 24 26 49 57 61 64 81 82 99