loading SCIP...
9 35094 true
3 4 9 16 42 53 63 65 68