6.38/9.78	unsat
