17.35/20.05	unsat
