6.38/9.10	unsat
