tests for solutions