File	Line Coverage			Functions
kissat.rs	0%	0%	0 / 30	0%	0 / 18
sat_common.rs	86.63%	86.63%	149 / 172	28.57%	18 / 63