583.36/584.68	unsat
