loading SCIP...
8 50719 true
8 12 33 34 58 76 92 95