more robust solving (was a glitch before) ui rehaul soon