mimic.sat