solver implemented