Text summarization model based on maximum coverage problem and its variant | Synapse