SatFast.sat