Задача из олимпиады по математике

Найдите все пары натуральных чисел a и b, для которых из
четырех утверждений

a^2 + 4a + 3 делится на b;
a^2 + ab − 6b^2 − 2a − 16b − 8 = 0;
a + 2b + 1 делится на 4;
a + 6b + 1 — простое число
три истинны, а одно ложно.