6.38/10.35	unsat
