rename Sat to Z3Sat