unsolvableformula