SAT: Getting the lowest score possible · HackerTrans