This paper describes theUniCorTtool designed to solve university course timetabling problem specifically tailored for the 2019 InternationalTimetabling Competition (ITC 2019). The proposed approach comprehends pre-processing, the use of a Maximum Satisfiability (MaxSAT) solver and alocal search procedure.UniCorTis assessed with the benchmark instances from ITC 2019. Theimpact of a handful of techniques in the quality of the solution and the execu-tion time is evaluated. We take into account different pre-processing techniquesand Conjunctive Normal Form (CNF) encodings, as well as the combinationwith a local search procedure. The success of our tool is attested by having been ranked among the five finalists of the ITC 2019 competition.