everything\{solver}