11.97/13.52	unsat
