sat
((((_ to_fp 5 11) RNA 0.1) (fp #b0 #b01011 #b1001100110)))