cspuz-solver2