6.38/6.79	unsat
