6.38/8.39	unsat
