10.58/11.84	unsat
