6.38/7.82	unsat
