add tactic exact_op

cutting the time from 2 sec to 1.65 sec, by using it twice