check in empty solvers for A,B & C