loading SCIP...
14 35875 true
2 16 25 49 51 61 64 65 73 75 90 94 97 99