Abitur-style. Resolva log_2(x + 3) + log_2(x - 1) = 5 (com )