loading SCIP...
8 43891 true
34 40 47 56 58 65 67 72