with WS solved ; local exp solver