12.75/13.52	unsat
