5.38/6.80	unsat
