SAT simulación operaciones