6.68/6.97	unsat
