On Simple But Hard Random Instances Of Propositional Theories And Logic Programs