Hiding solutions in random satisfiability problems: A statistical mechanics approach