Stargazers for supersat-syntax

0 0 8
0 0 3
1 0 50
0 2 7