loading SCIP...
12 35781 true
17 25 40 41 49 55 62 77 81 85 92 93