Add 2 programs (one for SHA256, one for BITCOIN)
to take SAT solver result and decode/check it