loading SCIP...
17 32375 true
2 5 22 31 35 39 43 44 45 48 55 56 57 59 81 83 93