6.27/6.85	unsat
