19.94/22.05	unsat
