heavy.sat