6.08/8.85	unsat
