13.46/13.52	unsat
