9.17/11.84	unsat
