1 [SAT] 6x Verify

by Schrodinger