adding tests cases, testing solver