6.68/10.22	unsat
