Added solution verification test