solutions (4)