solver NK prepared