17.47/19.62	unsat
