9.66/11.46	unsat
