19.51/19.70	unsat
