SatIn: Hardware for Boolean Satisfiability Inference