SAT solving - An alternative to brute force bitcoin mining? | Heykuki News