6.68/8.33	unsat
