3235.sat