loading SCIP...
14 37047 true
3 12 21 27 34 35 44 53 54 73 80 82 85 97