17.12/19.62	unsat
