993.94/996.17	unsat
