verified for 1 test problem