6.38/7.96	unsat
