10.17/11.69	unsat
