sat+check+archimedes.default

sat+check+flight+dynamic.default

test+g+e+o.default

test+j+d.default

test+moon.default

test+s+p+o+t.default

test+sat.default