9.36/9.71	unsat
