loading SCIP...
13 37906 true
3 23 27 30 35 40 49 56 59 65 66 93 97