quadsat合