613.29/618.17	unsat
