Seol mar théacs é seo: An integer programming model for solving the problem of school timtable :