19.75/20.41	unsat
