11.08/12.84	unsat
