Resolución de desigualdades lineales