6.68/8.52	unsat
