cleaned up DBG and VERIFY'SOLUTIONS; DBG levels changed