remain.sat