9.62/11.52	unsat
