6.38/6.71	unsat
