loading SCIP...
17 32578 true
2 21 27 29 35 41 47 48 50 53 58 59 64 68 80 92 99