open.sat