I hadn't thought of that. That way the solution could be something else. Let's give it a try!
▣ 1 = a ▣ 2 = b ▣ 3 = c
a = b + c + 5 b = √(ab3) c = min(a, b , 1)