Now finding clash-free timetables, very very slowly