6.38/6.80	unsat
