6.38/9.79	unsat
