64.sat