punch.sat