loading SCIP...
11 41781 true
2 3 15 17 34 35 37 44 57 79 81