Text this: Efficiency comparison of exact and approximate algorithms for solving set covering problem