给你一个序列 a₁, a₂, a₃, ... , a_n，有 n 个元素，每个元素都是 1 或 2。

请计算是否存在满足以下条件的整数 k。

1 <= k <= n - 1;

a₁ * a₂ * ... * a_k = a_(k+1) * a_(k+2) * ... * a_n;

如果存在满足给定条件的多个 k，请输出最小的一个，如果没有 k 满足条件则输出 -1。