477.41/484.07	unsat
