6.68/9.97	unsat
