19.75/20.83	unsat
