9.87/11.35	unsat
