6.38/8.17	unsat
