584.26/585.86	unsat
