testing solver with first example
unifying examples