Множество действительных решений состоит из 12 решений, каждое из которых действительно, когда удовлетворяет определённым неравенствам. Команда Solve находит решения вместе с условиями их применимости, представленными с помощью объектов ConditionalExpression.