17.14/19.76	unsat
