Danh sách bài nộp của tangminhtam2013 cho Xếp đội hình (2-SAT)