minisat — definition & etymology