-add UnsatCellInfo, UnsatVertexInfo