using tactic instead of solver