@jcoglan challenge: arrange your finances so that your tax bill is a solution to a 3-SAT problem encoded in your annual earnings