added find_min_vertex_cover
updated mulmod