loading SCIP...
13 37000 true
1 3 4 12 13 37 51 53 59 61 79 92 94