6.76/6.85	unsat
