16.75/19.05	unsat
