sketchy solver to a variant of the four-four puzzle