feat(opensmt): output model for SAT case when --proof is enabled