5.38/6.75	unsat
