581.40/582.17	unsat
