9.17/10.47	unsat
