95.51/95.70	unsat
