Public release of SATFC, the SAT-based FCC reverse auction feasibility checker.