Implement a naive solver
greedy approx algorithm
issue