Solver hints