4288.sat