added or to plaintext solver syntax