no functions in solver.c is used