6.68/6.75	unsat
