#pragma GCC optimize("Ofast")

//booster_^^
#include<bits/stdc++.h>

#define FC(a,b,c) for(int i=a;i<b;i++)cin>>c[i]
#define Fn(n) for(int i=0;i<n;i++)
#define fin(a,n) for(int i=0;i<n;i++)cin>>a[i]
#define F(a,b) for(int i=a;i<b;i++)
#define all(a) a.begin(),a.end()
#define umap_boost(x) x.reserve(1024);x.max_load_factor(0.25);

#define PII pair<int,int> 
#define ll long long
#define endl '\n'
using namespace std;

inline void cin_unlocked()
{
    std::ios::sync_with_stdio(false);
    std::cin.tie(0);
}

template <typename T>
inline void stable_unique(vector<T>& v ){
    set<T> m(v.begin(),v.end());
    v.assign(m.begin(),m.end());
}


class dsu{
public:
    int n;
    vector<int> c;

    int q(int x){
        if(c[x]!=x){
            c[x]=q(c[x]);
        }
        return c[x];
    }
    void u(int a,int b){
        int fa=q(a);
        int fb=q(b);
        if(fa!=fb)
            c[fa]=fb;
    }

    dsu(int &_n){
        this->n=_n+5;
        this->c.resize(n);
        for(int i=0;i<n;i++)c[i]=i;
    }

};

int pow_mod(int a, int b,int mod) {//a^b
    int ans = 1;
    while(b > 0) {
        if(b & 1) ans = ans * a % mod; 
        a = a * a % mod;
        b >>= 1;
    }
    return ans;
}

inline void solve(){
	int  n;
	cin>>n;
	vector<int> arr(n+5),pre(n+5);

	for(int i=1;i<=n;i++)cin>>arr[i];

	for(int i=n;i>0;i--)pre[i]=pre[i+1]+(arr[i]==-1);

	int ans=1,c=1;
	int x=0;
	for(int i=1;i<=n;i++){
		if(arr[i]==1){
			c++;ans++;
		}
		if(arr[i]==0){
			x++;
		}
		if(arr[i]==-1){
			if(c<=1){
				if(x){
					x--;
					ans++;c++;
				}
				else{
					cout<<"-1"<<endl;
					return;
				}
			}
			c--;
		}
	}
	if(c>x){
		c-=x;
	}else{
		x-=c;
		x++;
		ans+=x/2;
		c=x/2+x%2;
	}
	cout<<ans/__gcd(ans,c)<<' '<<c/__gcd(ans,c)<<endl;

}

int main(){
	cin_unlocked();
	int t;cin>>t;for(;t--;)
	   solve();

	return 0;
}