75 12.cnf getting tautology
removed taut validation and print statements