header for solver