20.64/20.76	unsat
