9.88/11.33	unsat
