+ def solver