6.38/13.33	unsat
