bash.unisat.unisat