merge.sat