Tag: solving strategies for The Witness