loading SCIP...
8 48813 true
33 40 41 56 59 65 91 98