Handle 'unknown' response from Yices/maxsat