loading SCIP...
10 36422 true
3 6 21 41 68 77 82 87 92 94