3_SAT-1
3_SAT-2
3_SAT-3
3_SAT-4
3_SAT-5
3_SAT-6
3_SAT-7
3_SAT-8
3_SAT-9
3_SAT-10
3_SAT-11
3_SAT-12
3_SAT-13
3_SAT-14
3_SAT-15
3_SAT-16
3_SAT-17
3_SAT-18
3_SAT-19
3_SAT-20
3_SAT-21
3_SAT-22
3_SAT-23
3_SAT-24