Tags: bin sat 

Rating: 0

Using SAT to reverse the crypto algorithm.