added flags to disable SMT solving