sat
((s0 #b00000000))