Fixed constraint issues; removed summer timetables.