9.26/11.96	unsat
