loading SCIP...
14 36140 true
3 16 30 32 35 36 40 50 54 57 80 83 90 96