Text this: A Logic-Guided and Explainable Approach to LLM-Based Unit Test Generation.