tried to test with 4 hard constraints. ran into errors from library.