smart-eq-forfour-puzzle