loading SCIP...
18 27734 true
5 9 23 24 26 32 37 39 41 47 48 62 75 82 83 89 90 96