19.75/20.16	unsat
