20.56/20.64	unsat
