13.48/13.52	unsat
