484.94/487.29	unsat
