613.10/613.26	unsat
