Random CNF-XOR Formulas