584.10/585.50	unsat
