9.08/11.73	unsat
