Text this: Investigating constraint-based reasoning for university timetabling problem