MojaCoder
Playground
Problems
Post Problem
Contests
Create Contest
EN
JA
Sign up
Sign in
Solve 3-SAT
2 secs
1024 MB
magurofly
Tweet
Problem
Submissions
Test cases
Editorial
テストケース名
sample_1
random_1
hand_1
hand_2
hand_3
large_1
large_2