6.38/7.84	unsat
