9.68/10.29	unsat
