loading SCIP...
17 30937 true
5 10 11 14 21 36 48 51 52 54 59 61 76 77 78 86 94