add wrapper for solving without simplifications