El conjunto de soluciones consiste de 12 soluciones, cada una válida solamente cuando satisface ciertas condiciones de desigualdad. Solve ofrece soluciones junto con sus condiciones de validez, representadas como objetos de ConditionalExpression.