12.78/13.52	unsat
