619.50/621.05	unsat
