92.38/93.70	unsat
