19.51/20.95	unsat
