SMS dit: Abstract conflict driven learning.