Lines Matching refs:solves