Розвʼязки David для 1147: Чи є 13?