lib: Add solving unit test