6.75/6.79	unsat
