6.68/8.13	unsat
