piping in stdin to picosat fixed