ZKR-1317-Added regex to parse the output of the smt solver

[FatemehHeidari]

Modified the extract_model_response() function in smt_parser.rs to use regex.