19.94/20.80	unsat
