This package includes a sat project.