loading SCIP...
12 39781 true
1 9 31 37 44 52 55 62 69 75 80 81