582.24/584.39	unsat
