485.82/487.42	unsat
