5.38/6.70	unsat
