Tagged sat-strategies