checking in exercises for vertexcover and 3sat