/home/ichudov/project_locations/algebra.com/algebra/homework/Distributive-associative-commutative-properties/78+23+12.solver: solver 78+23+12 not found.