loading SCIP...
13 37562 true
0 2 7 8 12 20 22 25 31 48 57 70 76