Community-based 3-SAT Formulas with a Predefined Solution