17.47/19.76	unsat
