6.67/10.29	unsat
