9.39/11.61	unsat
