Hot: preparaion-sat