5.38/6.82	unsat
