6.38/12.80	unsat
