brute-force android mathemagic solver