loading SCIP...
12 39313 true
3 12 15 17 18 20 29 36 42 52 89 91