rnn.sat