6.17/6.85	unsat
