9.52/10.84	unsat
