19.75/20.84	unsat
