19.56/20.76	unsat
