loading SCIP...
10 42937 true
4 20 30 33 49 65 66 72 75 93