loading SCIP...
17 31922 true
3 8 13 14 17 18 22 31 36 48 51 52 58 82 94 96 98