19.75/20.22	unsat
