613.79/618.21	unsat
