loading SCIP...
16 35187 true
3 7 21 25 31 33 35 44 46 50 55 57 85 91 92 97