6.38/8.25	unsat
