19.29/20.76	unsat
