19.64/19.76	unsat
