16.75/19.62	unsat
