add bivariate solving to solvers
mod