answer(42, 42, 42, 10, 'ABA', {pair(a, b)}, {}, -3.0, -0.75).
