猛 安本Coiney / Backend EngineerSAT Competition Core Solvers, Sequential, MiniSAT Hack-track, Application SAT+UNSAT Gold Medal