9.83/11.32	unsat
