19.86/20.64	unsat
