trying to pipe in stdin to picosat -- failed