92.98/93.70	unsat
