implemented quick UNsat check for String constraints