Hadamard

Added translaton of hadamard to SAT