6.68/8.86	unsat
