updated intro and changed UNKNOWN to SOLVER_ERROR