9.17/11.96	unsat
