loading SCIP...
13 35937 true
3 7 17 22 27 32 36 39 73 80 83 92 95