6.38/8.31	unsat
