File python3-pysmt-0.9.5-7.fc41.noarch.rpm is obsolete. Try find newer python3-pysmt for Rawhide