msatClauseVec.c 5.51 KB