Dated 30 December 2013. Since many years, a SAT instance that only ranges over the 32-bit nonce field will have 0 solutions with near certainty. To find a solu

Dated 30 December 2013. Since many years, a SAT instance that only ranges over the 32-bit nonce field will have 0 solutions with near certainty. To find a solution one also needs to range over coinbase bits such as an extranonce parameter.