Шаблоном називається рядок, що складається з англійських букв ~(a,..., z, A,..., Z)~ і символів "?" і "зірочка". Кожен із символів "?" дозволяється замінити на одну довільну букву, а кожен із символів "зірочка" - на довільну (можливо порожню) послідовність літер. Про будь-який рядок з літер, який можна отримати з шаблону такими замінами, будемо говорити, що він задовольняє цим шаблоном.

Є два шаблони. Потрібно мінімальну довжину рядка, який задовольняє обом шаблонам, або видати повідомлення, що такий рядок не існує.

Формат вхідних даних

Задано шаблони записані в перших двох рядках вхідного потоку. Довжина кожного шаблона не перевершує 80 символів.

Формат вихідних даних

У вихідний потік слід вивести мінімальну довжину рядка, що задовольняє обом шаблонам, або повідомлення -1

Приклад вхідних даних

A*
*B

Приклад вихідних даних

2