{
x1+x2+x3+x4+x5;
x1*x2+x2*x3+x3*x4+x4*x5+x1*x5;
x1*x2*x3+x2*x3*x4+x3*x4*x5+x4*x5*x1+x5*x1*x2;
x1*x2*x3*x4+x2*x3*x4*x5+x3*x4*x5*x1+x4*x5*x1*x2+x5*x1*x2*x3;
x1*x2*x3*x4*x5-1;
}

# cyclic 5-roots problem
# Mixed volume : 70
# Number of roots : 70
# Number of real roots : 10