19.72/20.20	unsat
