9.17/11.85	unsat
