loading SCIP...
9 44781 true
6 30 44 47 50 76 92 96 97