發送短信: Abstract conflict driven learning.