minisat

Etymology
Shortening.

Noun

 * 1) minisatellite