[WIP] Add postfix support, use strategic solver.