picosat - Robuta Search

https://aviationweek.com/space/commercial-space/russian-company-tests-picosat-delivery-system

Stratonautica has become the first Russian company to test a system for delivery of picosatellites, tiny spacecraft with a wet mass between 0.1-1 kg.

https://dirk-schumacher.net/2017/07/23/solve-sudokus-with-r-and-a-sat-solver/