added logging of mc-sat steps where samplesat fails to find solution